Katalin Bimbó
Aspeto
Katalin Bimbó | |
---|---|
Nascimento | 1963 (61 anos) |
Alma mater |
|
Ocupação | lógica |
Empregador(a) | Universidade de Alberta |
Katalin Bimbó (1963)[1] é uma lógica e filósofa canadense, conhecida por seus livros sobre lógica matemática e teoria da prova.
Formação e carreira
[editar | editar código-fonte]Obteve um Ph.D. em 1999 na Universidade de Indiana, orientada por Jon Michael Dunn.[2] É professora de filosofia na Universidade de Alberta,[3] depois de ter conquistado tenure em 2013.[4]
Obras selecionadas
[editar | editar código-fonte]Monografias
[editar | editar código-fonte]- Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi (with J. M. Dunn, CSLI Publications, 2008)[5]
- Combinatory Logic: Pure, Applied and Typed (CRC Press, 2012)[6]
- Proof Theory: Sequent Calculi and Related Formalisms (CRC Press, 2015)[7]
Volumes editados
[editar | editar código-fonte]- J. Michael Dunn on Information Based Logics (Springer, 2016).
Referências
[editar | editar código-fonte]- ↑ Ano de nascimento em Library of Congress catalog entry, acessado em 28 de fevereiro de 2022
- ↑ Katalin Bimbó (em inglês) no Mathematics Genealogy Project
- ↑ «Katalin Bimbo, Professor, Faculty of Arts – Philosophy Dept», University of Alberta, Directory, consultado em 28 de fevereiro de 2022
- ↑ «Tenure awarded to Katalin Bimbó and Marie-Eve Morin», University of Alberta, Philosophy News, 2 de dezembro de 2012, consultado em 28 de fevereiro de 2022
- ↑ Reviews of Generalized Galois Logics: R. Gylys (2009), ; Ewa Orłowska (2011), Studia Logica, ; Alasdair Urquhart (2010), Bull. Symb. Logic,
- ↑ Reviews of Combinatory Logic: Martin W. Bunder, Zbl 1245.03001; Felice Cardone (2012), ; Morten Heine Sørensen (2013), Studia Logica,
- ↑ Reviews of Proof Theory: Andrzej Indrzejczak, Zbl 1302.03001; Pierluigi Minari, ; Thomas Strahm (2016), Bull. Symb. Logic, ; Róbert Vajda (2015), Acta Sci. Math., [1]